Tứ trụ là dùng thiên can, địa chi của năm, tháng, ngày, giờ sinh để biểu thị thông tin của một người, vận dụng các quy luật của âm dương ngũ hành tìm ra sinh mệnh con người do từ trường quả đất, lực hấp dẫn và các loại từ trường cảm ứng khác gây nên.
Từ các quy luật cơ bản của âm dương, ngũ hành (như sinh, khắc), Tứ trụ đã cụ thể thành các luật hệ quả áp dụng trong quá trình dự đoán.
Phương pháp Tứ trụ dự đoán hôn nhân, về vận trình cả cuộc đời (các đại vận), về lưu niên, lục thân, của cải, tính cách, bệnh tật tai họa…Và sau đây là phương pháp dự đoán theo Tứ trụ trong lĩnh vực hôn nhân
Trình tự dự đoán hôn nhân theo Tứ trụ:
Lấy ngày giờ sinh thật chính xác
Sắp xếp thứ tự chính xác theo thứ tự năm – tháng – ngày – giờ. (Nếu cần đổi ngày giờ sinh ra bát tự).
Tra 10 thần thấu rõ và tàng trộn
Tính các cát thần, hung sát nào có xuất hiện trên các trụ
Áp dụng các luật hôn nhân để suy ra các kết luận
Phương pháp dự đoán theo Tứ trụ lấy can làm chủ, chú trọng sự cân bằng trong Tứ trụ. Do đó ngoài quy luật thuần sinh và thuần khắc, còn xét thêm quy luật phản sinh và phản khắc.
Cụ thể: Ta có thể sử dụng giá trị của biến dữ liệu áp dụng cho bài toán.
Một điểm thuận lợi trong viêc sử dụng biến dữ liệu là tác có thể biểu diễn những luật có sử dụng đến các giá trị biến đổi gọn gàng, súc tích và quen thuộc hơn so với nếu sử dụng cớ chế hợp giải. Để làm điều này, ta cung cấp một kí hiệu để truy xuất lấy giá trị từ
biến dữ liệu và thay thế vào biểu thức cần sử dụng. Và ta có thể dùng kí hiệu này trong luật để thay thế cho việc sử dụng một luật cần hợp giải.
“If Trụ ngày của nữ có hành là ?X anh Trụ ngày của nam có hành là ?Y and ?X sinh ?Y then Trụ ngày tương sinh cho nhau”.
Luật trên được thay thế bằng luật dưới đây:
“If @nữ.trụ_ngày.hành sinh @nam.trụ_ngày.hành then Trụ ngày tương sinh cho nhau”.
Nội dung khai báo trong cơ sở thức:
• Các kiểu dữ liệu.
• Các biến dữ liệu
• Các sự kiện và các luật tiền đề.
Sinh, Khắc của Ngũ hành. Ví dụ: o Khac (Kim, Moc); ….
Tính sao trên Trụ. Ví dụ: o DaoHoa (Ty,Ngo)….
Các thần sinh, khắc nhau. Ví dụ:
o ThanKhac (Thuong_quan, Thien_quan);
Các luật tính tàng trộn. Ví dụ:
o If (Sinh(?(ktu_tru X).?(ktru Y).?(kcanz).hanh, ?X.ngay.can.hanh) and (?X.?Y.?Z.nghi=?X.ngay.can.nghi)) then (?X.?Y.?Z than=Thien_an));
• Các sự kiện điều kiện: Dùng để đánh dấu các thuộc tính điều kiện xuất hiện trên lá số người dùng. Ví dụ:
o Nam_ChinhAn_Gio (Trụ giờ của nam có Chính Ấu)
• Các sự kiện kết luận cùng với định nghĩa: mô tả những lời bình giải cho lá số tương ưng. Ví dụ:
o Wchungthuy: vợ chung thủy
• Các luật suy ra kết luận: Ví dụ:
o If (nu.?(kcan X).than = Thien_quan and ThanKhac (nu.?(kcan Y).than,nu?X.than)) then WchungThuy;