Some Applications of the Causal Statement Logic Programming in Machine Language
In modern science, machine language was developed on the basis of multidisciplinary, so it forms the nature of cross subject or multidisciplinary subject, especially it crosses with modern logic. Burks developed the logic of casual statement, and tried to apply to the constructing of machine languag...
Saved in:
Published in | Applied Mechanics and Materials Vol. 433-435; no. Advances in Mechatronics and Control Engineering II; pp. 574 - 578 |
---|---|
Main Authors | , , |
Format | Journal Article |
Language | English |
Published |
Zurich
Trans Tech Publications Ltd
15.10.2013
|
Subjects | |
Online Access | Get full text |
ISBN | 303785894X 9783037858943 |
ISSN | 1660-9336 1662-7482 1662-7482 |
DOI | 10.4028/www.scientific.net/AMM.433-435.574 |
Cover
Abstract | In modern science, machine language was developed on the basis of multidisciplinary, so it forms the nature of cross subject or multidisciplinary subject, especially it crosses with modern logic. Burks developed the logic of casual statement, and tried to apply to the constructing of machine language. While applying the logic of casual statement to machine language, philosophy of logical machine was put forward. Philosophy of logical machine takes an important role in guiding the development of the discipline of contemporary machine language and its practical applications. |
---|---|
AbstractList | In modern science, machine language was developed on the basis of multidisciplinary, so it forms the nature of cross subject or multidisciplinary subject, especially it crosses with modern logic. Burks developed the logic of casual statement, and tried to apply to the constructing of machine language. While applying the logic of casual statement to machine language, philosophy of logical machine was put forward. Philosophy of logical machine takes an important role in guiding the development of the discipline of contemporary machine language and its practical applications. |
Author | Liu, Bang Fan Xu, Shui Ma, Xiu Li |
Author_xml | – givenname: Xiu Li surname: Ma fullname: Ma, Xiu Li email: liubangfan@126.com organization: Hebei Normal University of Science and Technology – givenname: Shui surname: Xu fullname: Xu, Shui email: liubangfan@126.com organization: Qinhuangdao Vocational and Technical College – givenname: Bang Fan surname: Liu fullname: Liu, Bang Fan email: liubangfan@126.com organization: Humanities-law College Yanshan University |
BookMark | eNqNkc1q3DAUhUWbQDNJ30HQTSnYkaxfLyfTX5ghgaTQndDIskfBliaSzJC3j9oJNGSVxeUu7sc5F74FOPHBWwC-YFRT1MjLw-FQJ-Osz653pvY2Xy43m5oSUlHCaiboO3CGOW8qQWXzHiwIIkIy2dI_J_8OqGoJ4R_AIqV7hDjFVJ6B69swWbjc70dndHbBJxh6mHcWrvSc9Ahvs852Kq1wHQZn4E0MQ9TT5PwAnYcbbXbOW7jWfpj1YC_Aaa_HZD8-73Pw-_u3u9XPan3949dqua5M-SFX2CDS4U7LrmNUdsLwvqcEtVvSdkII1NotlohIzE3P7ba1uOcdY63ZEoFQ25Fz8PmYu4_hYbYpq8klY8dRexvmpDDjAjcYYVTQT6_Q-zBHX75TmFLScMwEK9TVkTIxpBRtr_bRTTo-KozUXwGqCFD_BagiQBUBqggow1QRUEK-HkNy1D5la3Yvut4e8wSRL5fZ |
ContentType | Journal Article |
Copyright | 2013 Trans Tech Publications Ltd Copyright Trans Tech Publications Ltd. Oct 2013 |
Copyright_xml | – notice: 2013 Trans Tech Publications Ltd – notice: Copyright Trans Tech Publications Ltd. Oct 2013 |
DBID | AAYXX CITATION 7SR 7TB 8BQ 8FD 8FE 8FG ABJCF ABUWG AFKRA BENPR BFMQW BGLVJ CCPQU D1I DWQXO FR3 HCIFZ JG9 KB. KR7 L6V M7S PDBOC PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS |
DOI | 10.4028/www.scientific.net/AMM.433-435.574 |
DatabaseName | CrossRef Engineered Materials Abstracts Mechanical & Transportation Engineering Abstracts METADEX Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland ProQuest Central Continental Europe Database Technology Collection ProQuest One ProQuest Materials Science Collection ProQuest Central Korea Engineering Research Database SciTech Premium Collection Materials Research Database Materials Science Database Civil Engineering Abstracts ProQuest Engineering Collection Engineering Database Materials Science Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection |
DatabaseTitle | CrossRef Materials Research Database Technology Collection Technology Research Database ProQuest One Academic Middle East (New) Mechanical & Transportation Engineering Abstracts Materials Science Collection ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences Engineered Materials Abstracts ProQuest Engineering Collection ProQuest Central Korea Materials Science Database ProQuest Central (New) Engineering Collection ProQuest Materials Science Collection Civil Engineering Abstracts Engineering Database ProQuest One Academic Eastern Edition ProQuest Technology Collection Continental Europe Database ProQuest SciTech Collection METADEX ProQuest One Academic UKI Edition Materials Science & Engineering Collection Engineering Research Database ProQuest One Academic ProQuest One Academic (New) |
DatabaseTitleList | Civil Engineering Abstracts CrossRef Materials Research Database |
Database_xml | – sequence: 1 dbid: 8FG name: ProQuest Technology Collection url: https://search.proquest.com/technologycollection1 sourceTypes: Aggregation Database |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Engineering Philosophy |
EISSN | 1662-7482 |
EndPage | 578 |
ExternalDocumentID | 3103704941 10_4028_www_scientific_net_AMM_433_435_574 |
GroupedDBID | .DC 4.4 6J9 8FE 8FG ABHXD ABJCF ABJNI ABUWG ACGFO ACGFS ACIWK AFKRA ALMA_UNASSIGNED_HOLDINGS BENPR BFMQW BGLVJ BPHCQ CCPQU CZ9 D1I DB1 DKFMR EBS EJD HCIFZ KB. KC. L6V M7S P2P PDBOC PHGZM PHGZT PQGLB PQQKQ PROAC PTHSS PUEGO RNS RTP AAYXX CITATION 7SR 7TB 8BQ 8FD DWQXO FR3 JG9 KR7 PKEHL PQEST PQUKI PRINS |
ID | FETCH-LOGICAL-c336t-1c03d1da8dd548d7c6ff4309b39d77709eb1803816cf6eb9e1f6d559cb37009d3 |
IEDL.DBID | 8FG |
ISBN | 303785894X 9783037858943 |
ISSN | 1660-9336 1662-7482 |
IngestDate | Fri Sep 05 06:57:58 EDT 2025 Fri Jul 25 12:10:29 EDT 2025 Wed Oct 01 02:49:37 EDT 2025 Sat Sep 06 02:40:54 EDT 2025 |
IsPeerReviewed | true |
IsScholarly | true |
Issue | Advances in Mechatronics and Control Engineering II |
Keywords | Machine Language Casual Statement Logic Language Logical Machine Philosophy Machine Human Beings |
Language | English |
License | https://www.scientific.net/PolicyAndEthics/PublishingPolicies https://www.scientific.net/license/TDM_Licenser.pdf |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c336t-1c03d1da8dd548d7c6ff4309b39d77709eb1803816cf6eb9e1f6d559cb37009d3 |
Notes | Selected, peer reviewed papers from the 2013 2nd International Conference on Mechatronics and Control Engineering (ICMCE 2013), August 28-29, 2013, Guangzhou, China ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 ObjectType-Article-2 ObjectType-Feature-1 content type line 23 |
PQID | 1443261575 |
PQPubID | 2029177 |
PageCount | 5 |
ParticipantIDs | proquest_miscellaneous_1567121010 proquest_journals_1443261575 crossref_primary_10_4028_www_scientific_net_AMM_433_435_574 transtech_journals_10_4028_www_scientific_net_AMM_433_435_574 |
ProviderPackageCode | CITATION AAYXX |
PublicationCentury | 2000 |
PublicationDate | 20131015 |
PublicationDateYYYYMMDD | 2013-10-15 |
PublicationDate_xml | – month: 10 year: 2013 text: 20131015 day: 15 |
PublicationDecade | 2010 |
PublicationPlace | Zurich |
PublicationPlace_xml | – name: Zurich |
PublicationTitle | Applied Mechanics and Materials |
PublicationYear | 2013 |
Publisher | Trans Tech Publications Ltd |
Publisher_xml | – name: Trans Tech Publications Ltd |
References | 1192145 1192147 1192146 1192149 1192148 1192150 1192152 1192151 1192153 |
References_xml | – ident: 1192146 – ident: 1192147 – ident: 1192149 – ident: 1192150 – ident: 1192148 – ident: 1192145 – ident: 1192151 – ident: 1192152 – ident: 1192153 |
SSID | ssj0064148 ssj0001191652 |
Score | 1.9192501 |
Snippet | In modern science, machine language was developed on the basis of multidisciplinary, so it forms the nature of cross subject or multidisciplinary subject,... |
SourceID | proquest crossref transtech |
SourceType | Aggregation Database Index Database Publisher |
StartPage | 574 |
SubjectTerms | C plus plus Construction equipment Language Logic Logic programming Multidisciplinary Philosophy |
Title | Some Applications of the Causal Statement Logic Programming in Machine Language |
URI | https://www.scientific.net/AMM.433-435.574 https://www.proquest.com/docview/1443261575 https://www.proquest.com/docview/1567121010 |
Volume | 433-435 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
journalDatabaseRights | – providerCode: PRVPQU databaseName: Continental Europe Database isbn: 303785894X customDbUrl: eissn: 1662-7482 dateEnd: 20200630 omitProxy: false ssIdentifier: ssj0064148 issn: 1660-9336 databaseCode: BFMQW dateStart: 20040901 isFulltext: true titleUrlDefault: https://search.proquest.com/conteurope providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central isbn: 303785894X customDbUrl: http://www.proquest.com/pqcentral?accountid=15518 eissn: 1662-7482 dateEnd: 20200630 omitProxy: true ssIdentifier: ssj0064148 issn: 1660-9336 databaseCode: BENPR dateStart: 20040901 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Technology Collection isbn: 303785894X customDbUrl: eissn: 1662-7482 dateEnd: 20241003 omitProxy: true ssIdentifier: ssj0064148 issn: 1660-9336 databaseCode: 8FG dateStart: 20040901 isFulltext: true titleUrlDefault: https://search.proquest.com/technologycollection1 providerName: ProQuest |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1Lb9QwEB5BK0E5ICggtpTKSJyQXOz4lQghtFRdKkTK8qjozUpsR-LQpHR3D_x7ZrLZBxfEIYqiRCPriz3-5uEZgJeZjjqYlHMVnOW60prXKggunaqEDVmRBTrgXJ7bswv98dJcDg632ZBWudKJvaKOXSAf-Wsk_sg0JLKLd9e_OHWNoujq0ELjNuzKDGcSnRSffNj4WNAYsWZdTspq2XfTktYKjoa8pbMeQrnc5IUeqvGsn9UdeIUaBc2rvB_U8nwipe_0PoNxWR5rpTiyjWPj9N-72oaq3p3TjkPlWLd2rckDuD_QTTZezo-HcCu1-3BvqwjhPuxNV90Mfj-Cz9-6q8TGW1Ft1jUMSSI7qRYzlNSTU_IoMurSHNh0md91haLYz5aVfW5mYp8GN-hjuJicfj8540PPBR4QkDmXQagoY5XHiLZMdME2jVaiqFURnXOiQN2e99HG0NhUF0k2NqJVEmrlkK5F9QR22q5NT4HZImiLwkSokSaIvK4rJEfCmNTI5KIYwZsVZv56WVrDo0lCiHtE3G8Q94i4R8Q9Io6X8Yj4CA5XMPth2c38ZpKM4MX6NS4YioJUbeoW-I2xjqqmSRzA2_Xv2ZLx30M4-PcQnsFeRr0zKP3FHMLO_GaRniODmddH_TQ9gt33p-fTr3SflF9-_AHJTO0Q |
linkProvider | ProQuest |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3NbtQwEB6VrUTLgZ8CYqGAkYADkhcnduxEqIelsNrSTSmiFb2ZxHYkhJoUNitUHopX4ZUYZ5PdhQPi0gOHHKJEI8fzZfx5PD8Aj0NhhYlcTLlRkopMCJpzw2igeMakCZPQ-ATn9ECOj8Wbk-hkDX50uTA-rLKziY2htpXxPvLnSPyRaQTILtoIyn13_g33Z9OdvVeozCdhOHp9tDumbQsBajiXNQ0M4zawWWwtUnOrjCwKwVmS88QqpViCpipuDs9MIV2euKCQFkm2yblC9mE5yn169oX6LlX-NLdt2XEJ1mOZxKwH6y9H6bsPS68Obn9ktChgJUXQ9O8KpGQ0wRH57BLGVRzFiWjr_yzu-WV4hjYMN3RxMw3zjEgfMNR4KYZpOhCcU-Q3g0iJ39fRJTneqP0a5wvArqyTo2vws5vheXjM58Gszgfm-x_FJ_8fFVyHqy1lJ8P5P3YD1ly5BVdWCjluweZh1xHi_Ca8fV-dOjJciQwgVUGQaJPdbDZFSQ3B915Z4jtdG3I4j5E7RVHkU0nSJr7VkUnrSr4FxxfyxbehV1aluwNEJkZIFMZMjlSLxXmeIcFkUeSKwCnL-vCiQ4E-m5cn0bit8xjSqEe9xJBGDGnEkEYM4RVpxFAftjtF69Z0TfVSy314tHiMRsefJGWlq2b4TiSVrzwX4AB2FoBbkfHPQ7j79yE8hI3xUTrRk72D_XuwGfpeJD6cKNqGXv115u4jI6zzB-1vSODjRSPxF3Y9axg |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Some+Applications+of+the+Causal+Statement+Logic+Programming+in+Machine+Language&rft.jtitle=Applied+mechanics+and+materials&rft.au=Ma%2C+Xiu+Li&rft.au=Xu%2C+Shui&rft.au=Liu%2C+Bang+Fan&rft.date=2013-10-15&rft.pub=Trans+Tech+Publications+Ltd&rft.issn=1660-9336&rft.eissn=1662-7482&rft.volume=433-435&rft.spage=574&rft.epage=578&rft_id=info:doi/10.4028%2Fwww.scientific.net%2FAMM.433-435.574&rft.externalDocID=10_4028_www_scientific_net_AMM_433_435_574 |
thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fwww.scientific.net%2FImage%2FTitleCover%2F2755%3Fwidth%3D600 |