NEW
Font size
Worksheetstuan 6
Total questions: 30
Worksheet time: 15mins
Ngôn ngữ biểu diễn tri thức gồm mấy thành phần cơ bản?
4
2
3
7
Đâu là thành phần cơ bản của ngôn ngữ biểu diễn tri thức?
Cấu trúc
Cú pháp
Câu phức
Câu từ
Đâu là thành phần cơ bản của ngôn ngữ biểu diễn tri thức?
Nội dung
Định nghĩa
Ý nghĩa
Ngữ nghĩa
Cho A là công thức trong logic mệnh đề, khẳng định nào sau đây là đúng?
Công thức A là vững chắc
Công thức A là thỏa được
Công thức A là không xác định
Công thức A là không thỏa được
Cho A là công thức trong logic mệnh đề, khẳng định nào sau đây là đúng?
Công thức AA|A là không xác định
Công thức AA|A là thỏa được
Công thức AA|A là vững chắc
Công thức AA|A là không thỏa được
Cho A, B là các công thức trong logic mệnh đề, khẳng định nào sau đây là sai?
AnB là công thức
AvB là công thức
A=>B là công thức
AAB là công thức
Cho A, B là các công thức trong logic mệnh đề, khẳng định nào sau đây là sai?
A. AcB là công thức
B. AvB là công thức
C. A=>B là công thức
D. AAB là công thức
Thủ tục chuẩn hoá một công thức trong logic mệnh đề gồm mấy bước?
A. 2
B. 3
C. 5
D. 4
Điền vào dấu *** Một công thức H được xem là hệ quả logic của một tập công thức G ={G1,..., Gm} nếu trong bất kỳ minh hoạ nào mà (G1,..., Gm) ... thì H cũng ***
A. đúng - sai
B. sai - đúng
C. đúng - đúng
D. sai - sai
Cho A, B, C là các công thức trong logic mệnh đề. Biểu thức nào sau đây là đúng?
A. Av(BAC) ≡ (AvB)∧(AvC)
B. Av(BAC) ≡ (AvB)∨(AvC)
C. Av(BAC) ≡ (AAB)∨(AAC)
D. Av(BAC) ≡ (AAB) ∧ (AAC)
Cho công thức: (A=>B) ∧C Công thức nào sau đây là biến đổi tương đương của công thức đã cho:
A. (A∧|B) ∧C
B. (AvB) ∧C
C. (|A vB) ∧C
D. (|AAB) ∧C
Đâu là công thức ở dạng chuẩn tắc hội được chuẩn hóa từ công thức sau: (C=>D)=> E
A. (Cv|E) (|D v|E)
B. (|CvE) ∧ (DvE)
C. (CvE) ∧ (|DvE)
D. (|CvE) ∧ (|DvE)
Đâu là công thức ở dạng chuẩn tắc hội được chuẩn hóa từ công thức sau: (CvD)=> E
(CvE) ∧ (D v E)
(CvE) ∧ (DvE)
(Cv|E) ∧ (Dv|E)
((CA|E)v(DAE)
Cho tập công thức sau: |AvB |BvE |E A Tập công thức trên là:
Không thỏa được
Không xác định
Vững chắc
Thỏa được
Cho tập công thức sau: |AvC |CvE |E Công thức nào sau đây không là hệ quả logic của tập công thức đã cho
|A
|C
|E
A
Ngoài hai thành phần cú pháp và ngữ nghĩa, ngôn ngữ biểu diễn tri thức cần được cung cấp cơ chế nào sau đây?
cơ chế vận hành
cơ chế làm việc
cơ chế hành động
cơ chế suy diễn
Cú pháp của một ngôn ngữ biểu diễn tri thức bao gồm?
Tập các ký hiệu và tập các quy tắc
Tập các ký hiệu hoặc tập các quy tắc
Tập các quy tắc
Tập các ký hiệu
Cho A, B là các công thức trong logic mệnh đề, khẳng định nào sau đây là đúng?
AcB là công thức
AvB là công thức
AnB là công thức
AgB là công thức
Hai công thức A và B được xem là tương đương nếu
Không có cùng giá trị chân lý trong một minh hoạ
Có cùng giá trị chân lý trong một minh hoạ
Không có cùng giá trị chân lý trong mọi minh hoạ
Có cùng giá trị chân lý trong mọi minh hoạ
Cho tập các công thức sau: A=>B, AAC. Công thức nào sau đây là hệ quả logic của tập công thức đã cho?
C
|A
B
A
Cho tập các công thức sau: A=>B, |BAC. Công thức nào sau đây không là hệ quả logic của tập công thức đã cho?
C
|A
|B
A
Tập công thức |AvC, |CvE, |E là:
Vững chắc
Thỏa được
Không xác định
Không thỏa được
Cho A là công thức trong logic mệnh đề, trong trường hợp tổng quát khẳng định nào sau đây là đúng?
Công thức A luôn nhận giá trị True
Công thức A luôn nhận giá trị False
Công thức A luôn nhận giá trị True hoặc False
Công thức A luôn nhận cả 2 giá trị True và False
Cho A là công thức trong logic mệnh đề, khẳng định nào sau đây là đúng?
Công thức Av|A là không thỏa được
Công thức Av|A là không xác định
Công thức Av|A là vững chắc
Công thức Av|A là thỏa được
Cho A, B, C là các công thức trong logic mệnh đề, khẳng định nào sau đây là sai?
A. A۸B) vC là công thức
B. |A۸B) vC là công thức
C. (A۸B)=>C là công thức
D. (AcB) nC là công thức
Cho tập công thức sau: A => B, |B. Công thức nào sau đây là hệ quả logic của tập công thức đã cho?
|A
B
|Bv|A
A
Đâu không phải là ký hiệu kết nối logic trong logic mệnh đề
n
v
∧
=>
Đâu là công thức ở dạng chuẩn tắc hội được chuẩn hóa từ công thức sau: (A=>B) ∧ C
A. (A۸C)v(B۸C)
B. (AvB) ۸C
C. (|AvB) ۸C
D. (|A۸C)v (B۸C)
Điền vào dấu “…” Một công thức ở dạng chuẩn hội nếu nó là, có dạng A₁ ∨...∨ Am trong đó các Ai là literal. Công thức này là gì?
hội của các hội
tuyển của các câu hội
tuyển của các câu tuyển
hội của các câu tuyển
Cho A, B, C là các công thức trong logic mệnh đề. Biểu thức nào sau đây là sai?
A∧ (B∨C) ≡ (A∧B)∨(A∧C)
A∨(B∧C) ≡ (A∨B)∧(A∨C)
A∨(B∨C) ≡ (A∨B)∨C
A∨(B∧C) ≡ (A∨B)∧(A∨C)
