![](/images/graphics-bg.png)
The Laws of Natural Deduction in Inference by DNA Computer
المؤلفون المشاركون
المصدر
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-07-02
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الطب البشري
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
We present a DNA-based implementation of reaction system with molecules encoding elements of the propositional logic, that is, propositions and formulas.
The protocol can perform inference steps using, for example, modus ponens and modus tollens rules and de Morgan’s laws.
The set of the implemented operations allows for inference of formulas using the laws of natural deduction.
The system can also detect whether a certain proposition a can be deduced from the basic facts and given rules.
The whole protocol is fully autonomous; that is, after introducing the initial set of molecules, no human assistance is needed.
Only one restriction enzyme is used throughout the inference process.
Unlike some other similar implementations, our improved design allows representing simultaneously a fact a and its negation ~a, including special reactions to detect the inconsistency, that is, a simultaneous occurrence of a fact and its negation.
An analysis of correctness, completeness, and complexity is included.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Rogowski, Łukasz& Sosik, P.. 2014. The Laws of Natural Deduction in Inference by DNA Computer. The Scientific World Journal،Vol. 2014, no. 2014, pp.1-10.
https://search.emarefa.net/detail/BIM-1051257
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Rogowski, Łukasz& Sosik, P.. The Laws of Natural Deduction in Inference by DNA Computer. The Scientific World Journal No. 2014 (2014), pp.1-10.
https://search.emarefa.net/detail/BIM-1051257
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Rogowski, Łukasz& Sosik, P.. The Laws of Natural Deduction in Inference by DNA Computer. The Scientific World Journal. 2014. Vol. 2014, no. 2014, pp.1-10.
https://search.emarefa.net/detail/BIM-1051257
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1051257
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)